first mockup for DLMF indexing