Joking aside, i do sometimes use identifiers like (define √⟨∑w_i·x_i⟩ ...) That’s pretty useful when implementing algorithms from papers

I use lots of Unicode math characters when using Redex, it makes it much easier to keep in sync with the notation used in papers.

I don’t really like that kind of notatoin :shrug:

I don’t use it often and prefer to use good variable names, but sometimes math expr just don’t mean much or don’t have names

Also, it’s never really meant to be read by anyone else but me, although it makes the relation with the corresponding paper clear

Scheme/Racket usually picks “efficient compilation” over “introspection”. Since Emacs lisp is interpreted the trade-offs are different.

Unfortunately, Racket can’t express ' , I usually use ^ instead.

There are some non-quote quotes though

But not easy to access. Maybe i should add one in the unicode table

And name it prime

https://www.fileformat.info/info/unicode/char/2032/index.htm :slightly_smiling_face:

And similar ones: https://www.fileformat.info/search/google.htm?q=prime

I use * as a prime

Turns out i already have it :sweat_smile: https://github.com/Metaxal/text-block/blob/08cb0957b2c46d21c467443496fc0535f4c387bd/symbols.rkt#L35\|https://github.com/Metaxal/text-block/blob/08cb0957b2c46d21c467443496fc0535f4c387bd/symbols.rkt#L35

But then what do you use for ? In my field we often use x for the optimal thing to compare with

Hm, fair point. I haven’t yet had to do both.