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