MySQL/phpMyAdmin si blocca da DELIMITER

A quanto pare, phpMyAdmin ha un campo contrassegnato come "delimiter:" sotto la casella della query SQL. Usarlo invece del comando risolve il problema. Ulteriori ricerche spiegano che "DELIMITER" non è un comando SQL, ma un comando generalmente implementato da tutte le interfacce utente SQL.