docs: Fix missing carets in QED specification