some latex files for formal concept analysis