first stab at DLMF indexing