Re: [TeXstudio-list] Semantic commands for (some) arrows symbols?

[Denis B. <dbi...@wa...>]

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