Alternate Definitions for Binary source microlensing

include archived terms