This is not the final website. It is a demo of the real tool working, made for Y Combinator.
AxisRemedy

17-002 <Formula> tag is missing an Alt attribute.

A Formula has no Alt.

Checkpoint
17: Mathematical Expressions
ISO 14289-1 (PDF/UA-1) clause
7.7-1
Test type in the protocol
Machine-testable
Applies to
A single object
WCAG 2.x (AxisRemedy's informative mapping)
1.1.1 Non-text Content (level A)

How AxisRemedy handles it

Tested by the app. AxisRemedy tests this condition itself. For each document it records passed, failed or not applicable, and for every failure the object and the page.

What the check covers

Checks Formula elements for a non-blank /Alt. /ActualText does not count.