documentation: Added some latex comments to core.k