Talk:Unsupported titles/=`lt`

RFV discussion: July 2016
Are these symbols actually used with these meanings? I'm familiar with <= and >= used with these meanings, but not =< and =>. I know that searching for symbols like these is very difficult, so if anyone can provide convincing evidence that these are actually used, even if not durably archived, I'll withdraw the RFV. —Mr. Granger (talk • contribs) 13:37, 10 July 2016 (UTC)


 * Never seen these (edit: used for this purpose) in any of numerous programming languages. Just asked a more pure-mathematical friend, who hasn't seen them either, and says that => would mean "implies". Equinox ◑ 14:28, 10 July 2016 (UTC)


 * => is used in some languages in associative arrays to introduce the value of a key (key => value). It is also used as a generic arrow symbol. — Ungoliant (falai) 16:26, 10 July 2016 (UTC)
 * I recall seeing these in typed mathematics problems sets/texts with the meanings shown. Even our miscellaneous character set does not have U+2265 (≥) for "greater than or equal to", for which ge was also used. DCDuring TALK 18:59, 10 July 2016 (UTC)
 * I couldn't swear that =< and => were ever used, rather than <= and >=. DCDuring TALK 19:35, 10 July 2016 (UTC)
 * Yes, I've seen seen => used many times as an arrow. Andrew Sheedy (talk) 22:29, 10 July 2016 (UTC)


 * FYI there are a few search engines that allow searching for mathematical symbols, including Google Scholar (if you use Latex notation, which may not help with very simple symbols like this) and supposedly search.mathweb.org and latexsearch.com. - -sche (discuss) 20:15, 10 July 2016 (UTC)


 * Thanks. Symbolhound.com also seems to be useful. Using those, I've found some programming languages that seem to use the symbol =< this way, including Prolog, and two durably archived uses, which I've added to the entry, so I withdraw the RFV for =<. I still can't find any evidence that => is used with this meaning. —Mr. Granger (talk • contribs) 21:00, 10 July 2016 (UTC)