A Microsoft lançou recentemente, o novo Windows Terminal. Eu queria experimentar e usar caracteres Unicode. Mas não consigo descobrir como escrever Unicode no meu terminal? Além disso, neste vídeo, o novo Terminal do Windows converte o <=
símbolo em seu equivalente matemático, como fazer?
Como em Julia , escrevemos \sigma+tab
então o símbolo para sigma aparece, da mesma forma, o que fazer neste novo terminal ?