Definitions:

Fungrim symbol | Notation | Short description |
---|---|---|

ClosedInterval | $\left[a, b\right]$ | Closed interval |

Source code for this entry:

Entry(ID("12d5ab"), SymbolDefinition(ClosedInterval, ClosedInterval(a, b), "Closed interval"))

Definitions:

Fungrim symbol | Notation | Short description |
---|---|---|

ClosedInterval | $\left[a, b\right]$ | Closed interval |

Source code for this entry:

Entry(ID("12d5ab"), SymbolDefinition(ClosedInterval, ClosedInterval(a, b), "Closed interval"))

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2019-08-17 11:32:46.829430 UTC