\myacronym{HOAS}{HOAS}{high-order abstract syntax}
\myacronym{IOT}{Io\kern-.3mmT}{internet of things}
\myacronym{IDE}{IDE}{integrated development environment}
-\myacronym{IO}{IO}{input/output}
+\myacronym{IO}{I/O}{input/output}
\myacronym{IR}{IL}{intermediate representation}
\myacronym{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
\myacronym[prefixfirst={a\ },prefix={an\ }]{LED}{LED}{light-emitting diode}