tilde.png

function tilde() {