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

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