Ligature requests for turnstile |-, double turnstile |=, and bottom _|_

[ace-wu]

I'd like to propose following ligatures

• |- as turnstile
• |= as double turnstile
• _|_ as bottom

They are often shown in math document and sometimes used in Haskell

[tonsky]

Well, |= is also a “Bitwise OR assignment” in C-like languages. But I guess they won’t mind having that displayed as a ligature. The rest should not conflict with anything, at least at the first glance. Thanks for the suggestion!

[j-f1]

|- might conflict with bitwise or: b = a|-1. _|_ might conflict with my_private_var_|_other_private_var, although these may not actually occur in the wild.

[FauxFaux]

Thank the Lord that someone had raised this issue already! I was really suffering with my unreadable endianness swapping code:

[RoyTinker]

|= is already a supported ligature.

[chharvey]

if bottom is going to have a ligature, top may as well

[j-f1]

How would that be represented in code @chharvey?

[chharvey]

@j-f1 good question. Although I suppose at this point you could use Unicode and scratch the ligatures altogether.

name	Unicode	LaTeX	ascii	symbol	also known as
right tack	22a2	\vdash	|-	⊢	'turnstyle'
left tack	22a3	\dashv	-|	⊣
down tack	22a4	\top	?	⊤	'tee', 'top'
up tack	22a5	\bot	_|_	⊥	'bottom'