search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
132 stars 32 forks source link

Change nonexistent \leadsto to \rightwavearrow #77

Closed jamesjer closed 3 years ago

jamesjer commented 4 years ago

With TeXLive 2019, at least, there is no \leadsto definition. There is a \rightwavearrow, on the other hand.

jamesjer commented 3 years ago

Sam partially fixed this in commit c1123dd108e3e05f96e4b0ec6d8208eced8c4e71, but there is still an extraneous \leadsto in the Unicode Binary Operators table.