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 |
From: Jan S. <sun...@gm...> - 2017-03-21 14:38:58
|
<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div> <div>You could add the later optionally but most latex docu uses the ...arrow commands.</div> <div>Hence I would be prefer to leave them as they are.</div> <div> </div> <div> Jan</div> <div> <div name="quote" style="margin:10px 5px 5px 10px; padding: 10px 0 10px 10px; border-left:2px solid #C3D9E5; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;"> <div style="margin:0 0 10px 0;"><b>Gesendet:</b> Dienstag, 21. März 2017 um 15:24 Uhr<br/> <b>Von:</b> "Denis Bitouzé" <dbi...@wa...><br/> <b>An:</b> tex...@li...<br/> <b>Betreff:</b> [TeXstudio-list] Semantic commands for (some) arrows symbols?</div> <div name="quoted-content">Hi,<br/> <br/> in the left panel, "Arrow symbols" tab, the arrows:<br/> <br/> ┌────<br/> │ \rightarrow<br/> │ \Longleftarrow<br/> │ \Longrightarrow<br/> │ \Longleftrightarrow<br/> └────<br/> <br/> could be replaced by semantic commands:<br/> <br/> ┌────<br/> │ \to<br/> │ \implies<br/> │ \iff<br/> │ \impliedby<br/> └────<br/> <br/> but the latter need `amsmath' package.<br/> <br/> WDYT?<br/> <br/> Best.<br/> --<br/> Denis<br/> ------------------------------------------------------------------------------<br/> Check out the vibrant tech community on one of the world's most<br/> engaging tech sites, Slashdot.org! <a href="http://sdm.link/slashdot" target="_blank">http://sdm.link/slashdot</a><br/> _______________________________________________<br/> TeXstudio-list mailing list<br/> TeX...@li...<br/> <a href="https://lists.sourceforge.net/lists/listinfo/texstudio-list" target="_blank">https://lists.sourceforge.net/lists/listinfo/texstudio-list</a></div> </div> </div> </div></div></body></html> |
From: Denis B. <dbi...@wa...> - 2017-03-21 15:16:27
|
Le 21/03/17 à 15h38, Jan Sundermeyer a écrit : > You could add the later optionally but most latex docu uses the > ...arrow commands. Well, I'm not sure how to do that: I see for instance a `batik-rasterizer.jar' file that I don't have. Or is it enough to make the needed additions in: - `symbollistwidget.h', - `symbols-ng/arrows.xml'? > Hence I would be prefer to leave them as they are. Okay. -- Denis |
From: Mathieu Leroy-L. <ler...@gm...> - 2017-03-21 20:58:59
|
Hi, 2017-03-21 15:24 GMT+01:00 Denis Bitouzé <dbi...@wa...>: > Hi, > > in the left panel, "Arrow symbols" tab, the arrows: > > ┌──── > │ \rightarrow > │ \Longleftarrow > │ \Longrightarrow > │ \Longleftrightarrow > └──── > > could be replaced by semantic commands: > > ┌──── > │ \to > │ \implies > │ \iff > │ \impliedby > └──── > I think \iff is not exactly the same as \Longrightarrow: it adds extra space before and after, doesn't it? (I don't know for the others). So wouldn't it be confusing to replace one by an other? -Mathieu > > but the latter need `amsmath' package. > > WDYT? > > Best. > -- > Denis > ------------------------------------------------------------ > ------------------ > Check out the vibrant tech community on one of the world's most > engaging tech sites, Slashdot.org! http://sdm.link/slashdot > _______________________________________________ > TeXstudio-list mailing list > TeX...@li... > https://lists.sourceforge.net/lists/listinfo/texstudio-list > -- Mathieu LEROY-LERÊTRE |
From: Denis B. <dbi...@wa...> - 2017-03-22 06:28:24
|
Hi, Le 21/03/17 à 21h58, Mathieu Leroy-Lerêtre a écrit : >> in the left panel, "Arrow symbols" tab, the arrows: >> >> ┌──── >> │ \rightarrow >> │ \Longleftarrow >> │ \Longrightarrow >> │ \Longleftrightarrow >> └──── >> >> could be replaced by semantic commands: >> >> ┌──── >> │ \to >> │ \implies >> │ \iff >> │ \impliedby >> └──── >> > > I think \iff is not exactly the same as \Longrightarrow: it adds extra > space before and after, doesn't it? Indeed. > (I don't know for the others). Extra spaces as well. > So wouldn't it be confusing to replace one by an other? I wouldn't say "confusing" as the changes would affect new documents only and if a user would notice these extra spaces, it would also notice the new command names and would probably know the former ones. But I agree adding these new commands instead of replacing the legacy ones would be a better solution. -- Denis |