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