[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [O] Inconsistent entitiespretty behavior
|
From: |
Ross Vandegrift |
|
Subject: |
Re: [O] Inconsistent entitiespretty behavior |
|
Date: |
Sat, 07 Sep 2013 12:26:27 -0400 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130827 Icedove/17.0.8 |
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