Notice the character code at the bottom right side of the screen. You can now insert this symbol using the ALT+ character code. If not, see the “ASCII Decimal, ASCII Hex, or Unicodes” section ...