symbols
With detexify, I can draw a symbol and find code to reproduce it in LaTeX.
Suppose that I already have the symbol ∀. I could mimic its shape by drawing it by hand into detexify, and if I draw it well it would probably find what I'm looking for. But it's a bit of a roundabout way. Is there a service like detexify that looks for LaTeX code to recreate symbols, not based on a drawing but based on the actual unicode character?
Theoretically, you could use \xrightarrow[\sim]{} (from amsmath) or \xlongrightarrow[\sim]{} (from extarrows). Both look horrible though. The \sim on top of the arrow (like \xlongrightarrow{\sim}) looks somewhat better.
Unicode defines ⥴ (U+2974 RIGHTWARDS ARROW ABOVE TILDE OPERATOR), which you can use in case you run Xe/LuaLaTeX with unicode-math (either directly or with the \rightarrowsimilar alias). There are also ⥱ (\equalrightarrow), ⥲ (\similarrightarrow), ⥳ (\leftarrowsimilar), ⥵ (\rightarrowapprox) and other strange things.
For Linux, there are two nice character selectors, KCharSelect for KDE,
and Gucharmap for GNOME,
You can browse the various characters by script or Unicode block, or search by character description. Both programs are very nice, but personally, I prefer KCharSelect, as it has an incremental search bar which makes it faster to find the characters you need, and it displays all the information about a character, without you having to switch between the glyph ťab and the character information tab.
For Windows, you can use the built-in Character Map program, which supports Unicode in later versions of Windows:
Best Answer
https://w3c.github.io/xml-entities/unicode-names.html
has the Unicode name of all the characters in Unicode 8, and I just extended it to give the entity names as used in HTML (and MathML and ISO entity sets) and also TeX names where known. The TeX names include the (matching) names used by the
stixpackage (making the stix fonts available to classic tex) and theunicode-mathpackage (for xetex/luatex).For the characters mentioned so far in the comments on this page, it produces