On 2015-10-21, Scott Kostyshak wrote: > On Tue, Oct 20, 2015 at 05:27:29PM +0000, Guenter Milde wrote:
... >> There are some more "easyfix" patches in the pipeline: ... >> and a symbols-invdiameter.patch: >> diff --git a/lib/symbols b/lib/symbols >> index 89fc41a..992f556 100644 >> --- a/lib/symbols >> +++ b/lib/symbols >> @@ -695,8 +695,7 @@ hexstar wasy 65 0 x ✶ >> varhexstar wasy 66 0 x ✶ >> davidsstar wasy 67 0 x ✡ >> diameter wasy 31 0 x ⌀ >> -# Unicode is wrong, but a true alternate doesn't seem available. >> -invdiameter wasy 21 0 x ⌀ >> +invdiameter wasy 21 0 x ⍉ >> varangle wasy 30 0 x ∢ >> wasylozenge wasy 53 0 x ⌑ >> kreuz wasy 54 0 x ✠ >> Commit? > Yes please. It is actually not as simple: there are three alternative solutions. Therefore I prepared a test document and opened http://www.lyx.org/trac/ticket/9823 This way, there can be discussion about the best way forward. Günter