¬ symbol

¬ "not" symbol Option+L

Can someone with a mac please try this? Option and L and let me know if it shows the symbol?

Thanks :)
 
It's used in Z and means 'not' within predicates. I did 3 years of Z as part of my software engineering degree.
 
Back
Top Bottom