I have a paper which uses the following operators for widening and narrowing respectively:
How can I re-produce these operators for my own work? I presume, I could just draw a horizontal line within
\sqcap, but how?
Alternatively, do you know any package that provides these operators? I tried http://detexify.kirelabs.org/ and searched the internet, but found none.