Open paolobrasolin opened 6 years ago
It should be doable using the kodi environment. See https://tex.stackexchange.com/a/15614/82186
kodi
It should be doable using the
kodi
environment. See https://tex.stackexchange.com/a/15614/82186