書籍「はじめての圏論」で射の合成に使用されている記号

⨾

文字コードはU+2A3E。日本語入力モードで2a3eと打ち、F5で変換することで出せる。

https://tex.stackexchange.com/questions/125012/what-is-the-latex-code-for-an-open-semicolon

Latexだと、パッケージを追加すれば出せるみたい。

• mathbbolパッケージ ... \fcmp
• stmaryrdパッケージ ... \fatsemi