Bigger symbol for pocket (both desktop and Android).