@hhyu that was lucky! yeah if you use the character picker and search it tells you what the symbol is