unicode_symbols::LogSym Struct Reference

#include <vic_strings.hpp>

Static Public Attributes
static std::string	neg = std::string("\u00ac")
static std::string	unicode_space = std::string("\u00a0")
static std::string	or_sym = std::string("\u22c1")
static std::string	and_sym = std::string("\u22c0")
static std::string	true_sym = std::string("\u22a4")
static std::string	false_sym = std::string("\u22a5")
static std::string	forall = std::string("\u2200")
static std::string	exists = std::string("\u2203")
static std::string	ifthen = std::string("\u2192")
static std::string	iff = std::string("\u2194")

Detailed Description

Codes needed to display logical symbols in terminal output.

---

The documentation for this struct was generated from the following files:

• vic_strings.hpp
• vic_strings.cpp