I only mention this because I've used these to decorate tables in my own notes in the past. It's not really worth the trouble, but I remembered being impressed with how nice these characters looked at the time.
If anyone else wants to try it, paste this into a python REPL:
https://utio.net/demos/box_drawing.png
I only mention this because I've used these to decorate tables in my own notes in the past. It's not really worth the trouble, but I remembered being impressed with how nice these characters looked at the time.
If anyone else wants to try it, paste this into a python REPL: