switched to \[..\] instead of $$..$$ as they have different spacing in the lipics style ($$ is deprecated..)