0767132人目の素数さん
2017/12/05(火) 18:17:30.27ID:+EWjrhnpこういうものも見つけた:
Manually controlled size of delimiters in macros:
https://tex.stackexchange.com/questions/102888/manually-controlled-size-of-delimiters-in-macros
Arbitrary \left \right delimiters:
https://tex.stackexchange.com/questions/251999/arbitrary-left-right-delimiters