ていへんかけるたかさわるに

先日の 記事 でも書いたが, PDF ビューアーとして xpdf の代わりに gv を使い始めた.

使っていて初めて気が付いたのだが, gv のインターフェースには PDF ファイル内を検索する機能が無い.
これは不便である.

そこで少し調べたら, pdfgrep というテキストベースのツールがあることがわかった.
幸い OpenBSD の ports にも入っている.

インストールしてみた.

# pkg_add -v pdfgrep

manpage を見ると使用方法は grep コマンドと似ている.

$ pdfgrep -n mutually ctic.pdf
25:are mutually left adjoint if there exists a natural isomorphism
25:or mutually right adjoint if there exists a natural isomorphism
25:    If 𝐹 and 𝐺 are mutually left adjoints, then there is a natural isomorphism
26:mutually left adjoints:
26:    Next, if 𝐹 and 𝐺 are mutually right adjoints, then there is a natural isomorphism
26:identities associated with given mutually right adjoints:
32:which is natural in 𝑎 ∈ A and 𝑏 ∈ B. This implies that 𝐺 𝑐 and 𝐻𝑐 are mutually

gv と合わせて使ってみることにする.