The Alt+ codes extend out five digits, so if you can’t find the symbol you’re looking for, play around with the numbers and see what you get. Start with 1,000 and try some random numbers ...