Privacy Policy

Last Updated February 2023

This document entails the privacy policy and agreement that you accept when adding the Discord bot, Discord Algebra System (DAS) to a server and make use of its services. In the sections below, how your data is collected, used and stored and who can access your data are outlined.

Data Access

Access to data is only permitted to the bot developer and only in the scope required for the development, testing and maintenance of the bot. Data is not sold, provided to, or shared with any third party.

Data Collected By Application Command

The following items may be collected when a user invokes an application (slash) command. This is short-term and only lasts for as long as we process the command. As soon as the bot responds to your request, the data is no longer available to us and we do not store it anywhere.

• Your Discord username, whether that be your default name or server nickname.

• Your inputs to the arguments of the slash command.

• The channel ID the slash command was invoked in.

• The server ID the slash command was invoked in.

We collect your Discord username so that we can respond to your request with your name.

Data Collected Automatically

The following is a public message logging notice that informs you of the bot's scanning of your messages.

• The bot will continuously monitor all messages sent in your server waiting for two dollar signs ($) to appear. Once it detects two dollar signs are in your message the bot will render anything in between the two dollar signs as TeX and output it as an image if you have enabled the feature ATR (more details in the section below). Note, the bot will perform this action on any messages that are sent or edited.

• The bot does not store or log any of the messages sent or edited in your server. The bot simply reads each message waiting for two dollar signs to appear in the same way voice assistants such as Google Assistant is always listening waiting for the keyword "Hey Google" before performing an action.

If you do not like consent to this feature, then you may choose to remove the bot.

Data Collected When Enabled

The following action will be taken by the bot when the feature Automatic Tex Recognition (ATR) is enabled. This feature is an opt-in feature and when the bot is first added does not exist unless enabled for the first time using /atr.

• The bot will store your server ID mapped to a Boolean (either true or false) to indicate whether you have enabled or disabled ATR in a .json file. The bot does not store anything else about your server or who enabled or disabled this feature.

The following options are available to opt-out.

• To stop the bot from rendering your messages, type /atr again to disable the feature. This will update the .json file with the value False to instruct the bot to not render upon coming across double dollar sign in your messages, however your messages will still be scanned.

• To remove your entry in the .json file, contact the developer using the details in the final section.

Data Not Collected and Not Stored

The following items are not collected and not stored by the bot.

1. Any of your Personal Information

2. Any of your Discord Messages

Data Storage

Data indicating your ATR preference is stored in a .json file in the same directory as the bot's code. This file is located on a private VPS hosted by GalaxyGate which can only be accessed by the developer, however no guarantee is provided and the bot owner assumes no liability for the unintentional or malicious breach of data. In the event of an unauthorised data access, users will be notified through via an announcement in our support server.

User Rights

At any time, you have the right to request to view the data relevant to your and/or your server and may submit a request of the removal of your data through the contact details in the final section.

Updates

This privacy policy may change from time to time and is available here on our website.

Complaints, Feedback and Enquiries

If you have any queries, feedback and complaints about our Privacy Policy please contact the developer on the official server on Discord or via email at [e-mail].