A symbol library containing a variety of logic components in the format presented by most logic texts.