You are right... the tilde doesn't show up for me either.  No compile error though.