On 19 April 2017 at 22:31, oldk1331 <[email protected]> wrote:
> ... why not rename 'T' to 'top' and '_|_' to 'bottom'?
> (maybe add unicode 22A4/22A5 ⊤/⊥ as abbreviation)
>

+1  FriCAS should treat use of unicode more seriously.

-- 
You received this message because you are subscribed to the Google Groups 
"FriCAS - computer algebra system" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/fricas-devel.
For more options, visit https://groups.google.com/d/optout.

Reply via email to