[Top][All Lists]

[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...


reply via email to

[Prev in Thread] Current Thread [Next in Thread]