Maths teacher, Hobby programmer, ex Computing teacher.

I'm old enough that my early internet experience was using a dumb terminal with bakelite keys to access a server in a different city via JANet.

Some symbols I might want which aren't available on my phone: `` ⊥ |