Resulta que phpMyAdmin tiene un campo marcado como "delimitador:" debajo del cuadro de consulta SQL. Usarlo en lugar del comando resuelve el problema. Investigaciones posteriores explican que "DELIMITER" no es un comando SQL, sino un comando generalmente implementado por todas las interfaces de usuario de SQL.