Just a minor point. I was trying to find the identity sign to insert into a Web page and could not. A double equals sign is easy. So long as one explains one's symbols, surely that is adequate? Of course, being a botanist, if someone would tell me the code for an identity sign, I would be very happy.