I knew of this option: echo -e "\042asdf\042" # this prints ("asdf") but never realized that one could also: echo $'\042asdf\042' # this also prints ("asdf") I don’t even know what to call that…