in atom plugin for agda you just typing \bn or \bz , full reference here: https://people.inf.elte.hu/divip/AgdaTutorial/Symbols.html#b...

for Emacs users see: https://agda.readthedocs.io/en/latest/tools/emacs-mode.html