由于分号，创建过程失败

Question

我有一个使用SQL Squirrel（在后台使用postgres jdbc驱动程序）连接到的Postgres数据库。

当我运行以下语句（有效的sql，直接从this页复制）

CREATE PROCEDURE insert_data(a integer, b integer)
LANGUAGE SQL
AS $$
INSERT INTO tbl VALUES (a);
INSERT INTO tbl VALUES (b);
$$;

CALL insert_data(1, 2);

我收到以下错误

Error: Unterminated dollar quote started at position 67 in SQL CREATE PROCEDURE insert_data(a integer, b integer)
LANGUAGE SQL
AS $$
INSERT INTO tbl VALUES (a). Expected terminating $$
SQLState:  42601
ErrorCode: 0
Error occurred in:
CREATE PROCEDURE insert_data(a integer, b integer)
LANGUAGE SQL
AS $$
INSERT INTO tbl VALUES (a)

似乎第一个分号被解释为语句的结尾。

是否有某种方法可以转义分号，以便正确创建过程？

请不要建议使用psql，我想继续使用SQL Squirrel。