From: Denis B. <dbi...@wa...> - 2017-03-21 14:24:27
|
Hi, in the left panel, "Arrow symbols" tab, the arrows: ┌──── │ \rightarrow │ \Longleftarrow │ \Longrightarrow │ \Longleftrightarrow └──── could be replaced by semantic commands: ┌──── │ \to │ \implies │ \iff │ \impliedby └──── but the latter need `amsmath' package. WDYT? Best. -- Denis |