Writing in the non-Julia world, my standard keyboard input is set to Unicode character interpretation so I can enter math symbols (mostly predicate logic and Z

Writing in the non-Julia world, my standard keyboard input is set to Unicode character interpretation so I can enter math symbols (mostly predicate logic and Z notation). I can believe it. Just enough to translate the algorithm of interest is enough for it to make sense.