LuaLatex and Agda source code

いや、前のblogで解決したと思ってたんですけどね。verbatim環境で表示されてないという技が。

LaTeXは数学環境とそうでないのとか、まぁ、いろいろね。

　　\documentclass{article}
　　\usepackage{luatexja}
　　\usepackage{fontspec}
　　\setmainfont{STIX Math}%
　　\setmonofont{STIXGeneralBol}[
　　　Scale=MatchLowercase
　　]
　　\begin{document}
　　\ltjsetparameter{jacharrange={-3}}
　　\begin{verbatim}

ぐらいでいくらしい。いや、ちょっと typewriter っぽくないんだけど。何がいいのかな。

どうでもいいけど、BloggerのGoogle検索って lualate と LuaLaTeXを区別するのか。

https://seeker-s-eye.blogspot.com/2018/04/lualatex-and-agda-symbol.html