TeXmacs video (Japanese)

See: https://www.youtube.com/watch?v=CC44OqeS38s