On 09/07/2013 10:59 AM, Ross Vandegrift wrote:
I can reproduce this with the following org-entities-user:
(("box" \, "\\square" t "X" "Y" "Z" "□")
^
("vDash" "\\vDash" t "⊨" "|=" "|=" "⊧"))
The single misplaced character: hard to spot, easy to fix... Ross
