Update formats.js

adding clauses to lc stabmons