pda-symbolic.svg