5
votes
1answer
85 views

What's the difference between \|, \textdoublevertline, \textdoublepipe and \parallel?

I'm currently writing my bachelors thesis about on-line handwriting recognition of mathematical formulae (see http://write-math.com). I'm currently only recognizing symbols with the same technique as ...
7
votes
0answers
1k views

Angle symbols in LaTeX

I will write a lot about Euclidean Geometry the next time. This means I need to denote angles. The symbol we use in class looks like \sphericalangle, but I've just seen that there is an \angle symbol ...
1
vote
2answers
734 views

Using there exists symbol within inference of the semantic package

I am using the semantic package to write inference rules. I need to put a there exists symbol which is standard to LaTeX using $\exists$. However, when used within the semantic package's inference ...