feat(frontends/lean): add 'print notation' command
fix(init/reserved_notation): remove "invisible" character at `\/`
fix(library/flycheck): crash when io_state_stream is destroyed before flycheck_scope