Unicode ⊧ not an operator
|
6
|
365
|
October 29, 2021
|
My Brain Is Hard-Wired Against ==; Help Me, Julia
|
97
|
14290
|
July 5, 2021
|
Steven Johnson's #19847 (more verbose multi-line display for Char)
|
1
|
657
|
January 4, 2017
|
Infix for isequal
|
4
|
1024
|
March 6, 2020
|
Using Unicode characters like \to and \ne instead of -> and !=
|
3
|
380
|
July 24, 2020
|