I’m working on a project involving creating LaTeX, but the source document includes a very unusual character (even for a graduate level math course).
Fortunately, I was rescued by this site from Günter Milde
Unicode characters and corresponding LaTeX math mode commands.
Now I know that ⫦ (U+22A9), LONG DASH FROM LEFT MEMBER OF DOUBLE VERTICAL, is LaTeX \Vdash (i.e. “double vertical, dash”). Very useful.